🧠 Exercice d'application

Lien Moodle : https://moodle.epita.fr/mod/page/view.php?id=109351

Contenu du cours

Voici un exercice pour pratiquer les notions vues. Une correction sera publiée ultérieurement.

Rédigez les axiomes pour le type abstrait Booléen dont la signature est la suivante:

Types

booléen

Opérations

vrai : -> booléen faux : -> booléen non : booléen -> booléen _ et _ : booléen x booléen -> booléen _ ou _ : booléen x booléen -> booléen